Books by author Shaoying Liu

Showing 1 – 20 out of 20 results

1. 

   Structured Object-Oriented Formal Language and Method

   Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya | Springer International Publishing AG, 2017

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   55.93 €

   Buy
2. 

   Formal Methods and Software Engineering

   Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu | Springer, Berlin, 2025

   
   

   In stock at our supplier - Shipping in 10 - 18 days

   Language: English

   Binding: Paperback

   82.89 €

   Buy
3. 

   Structured Object-Oriented Formal Language and Method

   Shaoying Liu, Zhenhua Duan | Springer International Publishing AG, 2014

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   55.93 €

   Buy
4. 

   Structured Object-Oriented Formal Language and Method

   Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan | Springer Nature Switzerland AG, 2020

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   55.93 €

   Buy
5. 

   Structured Object-Oriented Formal Language and Method

   Zhenhua Duan, Shaoying Liu, Fumiko Nagoya, Cong Tian | Springer Nature Switzerland AG, 2019

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   55.93 €

   Buy
6. 

   Formal Engineering for Industrial Software Development

   Shaoying Liu | Springer, Berlin, 2010

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   60.80 €

   Buy
7. 

   Formal Methods and Software Engineering

   Kazuhiro Ogata, Mark Lawford, Shaoying Liu | Springer International Publishing AG, 2016

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   55.93 €

   Buy
8. 

   Structured Object-Oriented Formal Language and Method

   Shaoying Liu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   51.07 €

   Buy
9. 

   Structured Object-Oriented Formal Language and Method

   Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan | Springer International Publishing AG, 2018

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   55.93 €

   Buy
10. 

    Agile-SOFL

    Shaoying Liu | Palgrave Macmillan, 2025

    
    

    50/50 - We search the world

    Language: English

    Binding: Paperback

    136.20 €

    Buy
11. 

    Software Fault Prevention, Verification, and Validation

    Shaoying Liu | Springer, Berlin, 2025

    
    

    In stock at our supplier - Shipping in 10 - 18 days

    Language: English

    Binding: Paperback

    69.92 €

    Sale 0 %

    You save 0.02 €

    Buy
12. 

    Structured Object-Oriented Formal Language and Method

    Shaoying Liu, Zhenhua Duan, Ai Liu | Springer Nature B.V., 2023

    
    

    In stock at our supplier - Shipping in 10 - 18 days

    Language: English

    Binding: Paperback

    57.05 €

    Sale 0 %

    You save 0.01 €

    Buy
13. 

    Software Fault Prevention, Verification, and Validation

    Yuting Chen, Hiroyuki Okamura, Shaoying Liu | Springer, Berlin, 2026

    
    

    Print on demand - Shipping in 17 - 27 days

    Language: English

    Binding: Paperback

    76.10 €

    Buy
14. 

    Agile-SOFL

    Shaoying Liu | Springer, Berlin, 2024

    
    

    Low in stock at our supplier - Shipping in 9 - 15 days

    Language: English

    Binding: Hardback

    200.15 €

    Buy
15. 

    Structured Object-Oriented Formal Language and Method

    Jinyun Xue, Fumiko Nagoya, Shaoying Liu | Springer Nature Switzerland AG, 2021

    
    

    Low in stock at our supplier - Shipping in 11 - 15 days

    Language: English

    Binding: Paperback

    55.93 €

    Buy
16. 

    Structured Object-Oriented Formal Language and Method

    Shaoying Liu, Zhenhua Duan | Springer International Publishing AG, 2015

    
    

    Low in stock at our supplier - Shipping in 11 - 15 days

    Language: English

    Binding: Paperback

    46.20 €

    Buy
17. 

    Structured Object-Oriented Formal Language and Method

    Shaoying Liu, Zhenhua Duan | Springer International Publishing AG, 2016

    
    

    Low in stock at our supplier - Shipping in 11 - 15 days

    Language: English

    Binding: Paperback

    55.93 €

    Buy
18. 

    Mathematics in Software Reliability and Quality Assurance

    Tadashi Dohi, Shaoying Liu | MDPI AG, 2022

    
    

    In stock at our supplier - Shipping in 9 - 15 days

    Language: English

    Binding: Hardback

    60.49 €

    Sale 17 %

    You save 13.21 €

    Buy
19. 

    Structured Object-Oriented Formal Language and Method

    Shaoying Liu, Zhenhua Duan, Ai Liu | Springer, Berlin, 2023

    
    

    Low in stock at our supplier - Shipping in 11 - 15 days

    Language: English

    Binding: Paperback

    60.80 €

    Buy
20. 

    Formal Methods and Software Engineering

    Shaoying Liu, Tom Maibaum, Keijiro Araki | Springer, Berlin, 2008

    
    

    Low in stock at our supplier - Shipping in 11 - 15 days

    Language: English

    Binding: Paperback

    55.93 €

    Buy

We inform you about all changes of your order. Find out more